Wyniki
-
Formulas of one propositional variable in intuitionistic logic with the Solovay modality
Leo Esakia, Revaz Grigolia
Logic and Logical Philosophy , 17 /1-2 (2008) s. 111-127
Leo Esakia,
Revaz Grigolia
Logic and Logical Philosophy
, 17
/1-2
(2008)
s. 111-127